Multiple-document interface